Modalbestimmung mit einer Negation

Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache

Haptische Objekterkennung mit einer humanoiden Roboterhand

Prognosesysteme für die Verkehrssicherheit mit Methoden des Soft-Computings am Beispiel einer Glätteprognose und einer Fahrzustandsbestimmung

In this work new prognosis systems for road safety are presented. The systems enable the entry and optimization of dynamic behavior in traffic consideration. To get such results an adaptation procedure was developed and tested by optimized weighting values of knowledge base of a fuzzy system. Furthermore in this work a procedure was developed, which is able to extend and optimize the knowledge ...

MAUS versus FUNKTIONSTASTE: ein empirischer Vergleich einer desktop- mit einer ascii-orientierten Benutzungsoberfläche

Da die Vorund Nachteile einer direkt-manipulativen Benutzungsoberfläche noch sehr kontrovers diskutiert werden, wurde in dieser Studie ein empirischer Vergleich zwischen einer direkt-manipulativen und einer konventionellen, menü-orientierten Benutzungsoberfläche durchgeführt. 24 Benutzer (6 Novizen und 6 Experten mit der direkt-manipulativen Benutzungsoberfläche; 6 Novizen und 6 Experten mit de...

Modelltransformation mit der QVT Relationssprache -Fallstudie einer werkzeugspezifischen Realisierung

Modelltransformationen spielen innerhalb einer Modell-basierten Softwareentwicklung eine entscheidende Rolle. Ein relativ neuer Standard solche Modelltransformationen zu beschreiben ist Query View Transformation (QVT) der Object Management Group (OMG). Neben einer imperativen Sprache zur Beschreibung von Modelltransformationen bietet QVT auch einen deklarativen Teil die QVT Relationssprache. Ei...